Observation equivalence as a testing equivalence
نویسندگان
چکیده
منابع مشابه
Determinacy - (Observation Equivalence = Trace Equivalence)
If an experiment s is conducted on a parallel process p, then, in general, different processes may result from the experiment, due to the nondeterministic behaviour of p (in the notation of Milner (1980): p ~ p' for different p'). Process p is called determinate if the resulting processes are all equivalent (i.e., if p A=> p' and p ~ p", then p' and p" are equivalent). This means that, although...
متن کاملModal Observation Equivalence of Processes
This paper shows that many simulation equivalences over processes can be characterised by a single parameterised modal logic formula. For many equivalences there is a parameterised modal logic formula f(t) such that for every pair of processes P and Q, P Q if and only if P j= f(Q). For any speci c P the formula f(P ) becomes a x point formula of the normal modal logic K . Strong bisimulation eq...
متن کاملTesting Equivalence Probabilistically
Although the equivalence of two Ordered Binary Decision Diagrams (OBDDs) can be decided in polynomial time, the equivalence of two Free Binary Decision Diagrams (FBDDs) is only known to be probabilistically decidable in polynomial time. FBDDs are a strict superset of OBDDs, and are more succinct than OBDDs, which explains the interest in testing their equivalence. We show that the probabilistic...
متن کاملApproximating Markovian testing equivalence
Several approaches have been proposed to relax behavioral equivalences for fine-grain models including probabilities and time. All of them face two problems behind the notion of approximation, i.e. the lack of transitivity and the efficiency of the verification algorithm. While the typical equivalence under approximation is bisimulation, we present a relaxation of Markovian testing equivalence ...
متن کاملEquivalence Hypothesis Testing
In statistical applications, such as a comparison of two items, it is useful to know whether one item is equivalent to another. Similarly it is often desirable to know whether one item can act as a substitute for another. Applications of the concept of equivalence include blend and flavor modifications of products, substitution of generic drugs for brand-name drugs, modifications of products in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1987
ISSN: 0304-3975
DOI: 10.1016/0304-3975(87)90065-x